- state transition model
- Программирование: модель переходов состояний
Универсальный англо-русский словарь. Академик.ру. 2011.
state transition model
Смотреть что такое "state transition model" в других словарях:
State-transition matrix — In control theory, the state transition matrix is a matrix whose product with the state vector x at an initial time t 0 gives x at a later time t. The state transition matrix can be used to obtain the general solution of linear dynamical… … Wikipedia
State diagram — State diagrams is a diagram used in the field of computer science, representing the behavior of a system, which is composed of a finite number of states. There are many forms of state diagrams, which differ slightly and have different semantics.… … Wikipedia
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Transition Towns — Totnes, Devon: a Transition Town Transition Towns (also known as Transition network or Transition Movement) is a grassroots network of communities that are working to build resilience in response to peak oil, climate destruction, and economic… … Wikipedia
State logic — A State logic control system is a programming method created for PLCs.A state logic control system uses a state transition diagram as a model of reality, thus using the fundamentals of finite state machine theory as the basis of a programming… … Wikipedia
Bell-LaPadula model — The Bell LaPadula Model is a state machine model used for enforcing access control in government and military applications. [cite book|last=Hansche|first=Susan|coauthors=John Berti, Chris Hare|title=Official (ISC)2 Guide to the CISSP… … Wikipedia
Bell–LaPadula model — The Bell LaPadula Model (abbreviated BLP) is a state machine model used for enforcing access control in government and military applications.[1] It was developed by David Elliott Bell and Leonard J. LaPadula, subsequent to strong guidance from… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… … Wikipedia
transition element — Chem. any element in any of the series of elements with atomic numbers 21 29, 39 47, 57 79, and 89 107, that in a given inner orbital has less than a full quota of electrons. Also called transition metal. [1920 25] * * * Any chemical element with … Universalium
State machine replication — Introduction from Schneider s 1990 survey: : Distributed software is often structured in terms of clients and services. Each service comprises one or more servers and exports operations that clients invoke by making requests. Although using a… … Wikipedia
